A Formal Specification and Accuracy Checking of 2+1 View Integrated Metamodel Using Z and Object-Z
نویسندگان
چکیده
منابع مشابه
Model Checking Object - Z Specification Using SPIN
Nowadays, model checking is recognized as an efficient technology for verifying system properties. There are many tools such as SPIN and NuSMV supports model checking that will greatly enhance software systems applicability. However, it is difficult to establish a tool to directly verify Object-Z, because of its highlevel abstraction. This paper puts the Object-Z specification into label transi...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interface definition language (IDL) and informal prose. This may lead to ambiguous descriptions. This paper proposes an abstract specification of components using the formal specification language Object-Z. The usage of Object...
متن کاملModel Checking Object-Z Using ASM
A major problem with creating tools for Object-Z is that its high-level abstractions are difficult to deal with directly. Integrating Object-Z with a more concrete notation is a sound strategy. With this in mind, in this paper we introduce an approach to model-checking Object-Z specifications based on first integrating Object-Z with the Abstract State Machine (ASM) notation to get the notation ...
متن کاملFrom Formal Specification to Model Checking of MAS Using CSP-Z and SPIN
As a result of the increasingly predominance of agent technology, there has been a lot of interest in developing agent-based methodologies. In particular, formal methodologies have recently received the attention of the agent community. One of the key features of these methodologies is their emphasis on the use of formal methods as a means to trust multiagent systems (MAS) to behave as expected...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Academia-Industrial cooperation Society
سال: 2014
ISSN: 1975-4701
DOI: 10.5762/kais.2014.15.1.449